>>= -package:numhask package:semigroupoids